how to change sql developer font size

join shbcf.ru